Section: Partnerships and Cooperations

National Initiatives

• Participation of Cormac Walsh to the ANR white project FINSLER (Géométrie de Finsler et applications), 2012-2016.

• Projet ANR CAFEIN (Combinaison d'approches formelles pour l'étude d'invariants numériques), responsable P.L. Garoche. Partenaires : ONERA, CEA LIST, ENSTA Paristech, Inria Saclay (Maxplus, Toccata, Parkas), Université de Perpignan, Prover, Rockwell Collins France.

• Projet ANR MALTHY (Méthodes ALgébriques pour la vérification de modèles Temporisés et HYbrides), responsable T. Dang. Partenaires : Verimag, CEA LIST, Inria Rennes, Inria Saclay, VISEO/Object Direct.

• Projet ANR DEMOCRITE ("DEmonstrateur d’un MOteur de Couverture des Risques sur un TErritoire), responsable Emmanuel Lapébie (CEA). Partenaires : CEA-GRAMAT, BSPP, Inria Saclay (Maxplus), Institut PPRIME - UPR3346 (CNRS, Univ. Poitiers, ISAE-ENSMA), IPSIS, SYSTEL, ARMINES-E.M. Alès-ISR, CERDACC (Univ. de Haute-Alsace).

• Projet intitulé “Méthodes tropicales pour l'optimisation”, responsable X. Allamigeon, faisant intervenir M. Akian, V. Boeuf, S. Gaubert, A.Hochart, R. Katz, et M. Skomra.

• White project “Stabilité et stabilisation des systèmes commutés” (Oct 2014-June 2016), including M. Akian, X. Allamigeon, S. Gaubert, and members of EPI Geco, L2S, LIX, LSV (ENS Cachan), UVSQ.